Les logiques sous-structurelles sont des logiques mathématiques où certaines règles d`inférence ne sont pas utilisées ou ont une utilisation restreinte. - En particulier, par rapport à la logique classique ou à la logique intuitionniste, il leur manque la règle de contraction qui dit peu ...